A set of equations in two or more variables for which there are values that can satisfy all the equations simultaneously